Conflict-Tolerant Switching Controllers
نویسندگان
چکیده
This paper addresses the problem of detecting and resolving conflicts between switching controllers of hybrid systems. We consider systems composed of a base system with multiple switching controllers, each of which independently control the base system dynamics so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant specifications that specify the future behaviour even when the specification has been violated in the past. Conflict-tolerant switching controllers must be designed to continue offering advice even when their advice has been overridden in the past. We show that such switching controllers can be composed using a simple priority based scheme which guarantees the maximal use of each switching controller. We also give an algorithm for verifying conflict-tolerant switching controllers when the specification, the base system and the controller are given as rectangular hybrid automata.
منابع مشابه
Robust Fault-tolerant Finite-time Stabilization of Switched Systems with Asynchronous Switching
In this paper, we investigate the robust fault-tolerant finitetime stabilization problem of switched system with asynchronous switching. The asynchronous switching idea originates from the fact that switching instants of the controllers lag behind or exceed those of subsystems. The attention is focused on designing a robust fault-tolerant asynchronously switched controller that guarantees the f...
متن کاملConflict-Tolerant Specifications for Hybrid Systems
We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a “conflict-tolerant” specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict...
متن کاملOn the Controller Synthesis for Probabilistic Systems of Conflict Tolerant Specification
For an embedded control system, different requirements maybe need be satisfied at same time. Always some of them makes the system to act inconsistently, or even conflicted. Conflict tolerant specification is provided to denote this situation. In such a system, there often exist probabilistic and non-deterministic behaviors. We use Markov Decision Process (MDP) to denote these features. Based on...
متن کاملSupervisory fault tolerant control with integrated fault detection and isolation: A switched system approach
This paper focuses on supervisory fault tolerant control design for a class of systems with faults ranging over a finite cover. The proposed framework is based on a switched system approach, and relies on a supervisory switching within a family of pre-computed candidate controllers without individual fault detection and isolation schemes. Each fault set can be accommodated either by one candida...
متن کاملDesigning and Modeling a Control System for Aircraft in the Presence of Wind Disturbance (TECHNICAL NOTE)
This paper proposes a switching adaptive control for trajectory tracking of unmanned aircraft systems. The switching adaptive control method is designed to overcome the wind disturbance and achieve a proper tracking performance for control systems. In the suggested system, the wind disturbance is regarded as a finite set of uncertainties; a controller is designed for each uncertainty, and a per...
متن کامل